2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

175 175 325 197 0 237 396 341 215

N.S.

1 1.00 1.86 1.13 0.00 1.35 2.26 1.95 1.23

time (sec)

N/A 0.189 1.127 2.598 0.000 0.414 0.497 0.446 0.708

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 109 123 98 96 175 87 94

N.S.

1 1.00 1.31 1.48 1.18 1.16 2.11 1.05 1.13

time (sec)

N/A 0.058 0.128 1.061 0.270 0.385 0.238 0.465 0.353

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.055 180.000 180.000 0.000 0.000 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.058 161.130 180.000 0.000 0.000 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

313 313 501 1034 579 1013 0 0 -1

N.S.

1 1.00 1.60 3.30 1.85 3.24 0.00 0.00 -0.00

time (sec)

N/A 0.361 4.408 3.338 0.446 0.413 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

224 224 327 573 351 571 0 0 -1

N.S.

1 1.00 1.46 2.56 1.57 2.55 0.00 0.00 -0.00

time (sec)

N/A 0.253 3.759 3.059 0.434 0.487 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 345 211 0 217 0 0 -1

N.S.

1 1.00 2.74 1.67 0.00 1.72 0.00 0.00 -0.01

time (sec)

N/A 0.104 0.794 3.030 0.000 0.399 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 52 36 62 57 0 48 56

N.S.

1 1.00 1.27 0.88 1.51 1.39 0.00 1.17 1.37

time (sec)

N/A 0.043 0.049 1.012 0.264 0.420 0.000 0.432 0.882

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.035 32.356 180.000 0.000 0.000 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.035 40.583 180.000 0.000 0.000 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

419 419 1005 1535 940 2568 0 0 -1

N.S.

1 1.00 2.40 3.66 2.24 6.13 0.00 0.00 -0.00

time (sec)

N/A 0.597 13.540 3.230 0.466 0.446 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

296 296 659 847 611 1381 0 0 -1

N.S.

1 1.00 2.23 2.86 2.06 4.67 0.00 0.00 -0.00

time (sec)

N/A 0.413 11.068 3.010 0.451 0.374 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

163 163 454 316 0 520 0 0 -1

N.S.

1 1.00 2.79 1.94 0.00 3.19 0.00 0.00 -0.01

time (sec)

N/A 0.177 3.465 3.069 0.000 0.471 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 61 63 109 146 0 90 122

N.S.

1 1.00 1.07 1.11 1.91 2.56 0.00 1.58 2.14

time (sec)

N/A 0.069 0.157 1.078 0.259 0.336 0.000 0.445 1.402

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.056 91.226 180.000 0.000 0.000 0.000 0.000 0.000

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.053 180.002 180.000 0.000 0.000 0.000 0.000 0.000

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

546 546 2394 2058 1353 4261 0 0 -1

N.S.

1 1.00 4.38 3.77 2.48 7.80 0.00 0.00 -0.00

time (sec)

N/A 0.869 52.330 3.435 0.598 0.428 0.000 0.000 0.000

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

368 368 1370 1107 897 2238 0 0 -1

N.S.

1 1.00 3.72 3.01 2.44 6.08 0.00 0.00 -0.00

time (sec)

N/A 0.603 21.342 3.252 0.525 0.379 0.000 0.000 0.000

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

214 214 541 423 0 827 0 0 -1

N.S.

1 1.00 2.53 1.98 0.00 3.86 0.00 0.00 -0.00

time (sec)

N/A 0.274 1.760 4.015 0.000 0.386 0.000 0.000 0.000

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 90 91 156 234 0 97 132

N.S.

1 1.00 1.03 1.05 1.79 2.69 0.00 1.11 1.52

time (sec)

N/A 0.097 0.351 1.174 0.271 0.394 0.000 0.418 0.610

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.054 180.017 180.000 0.000 0.000 0.000 0.000 0.000

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A F(-1) F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.053 180.026 180.000 0.000 0.000 0.000 0.000 0.000

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

453 453 1009 0 0 1614 0 0 -1

N.S.

1 1.00 2.23 0.00 0.00 3.56 0.00 0.00 -0.00

time (sec)

N/A 0.578 2.730 0.529 0.000 0.391 0.000 0.000 0.000

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

337 337 610 0 0 956 0 0 -1

N.S.

1 1.00 1.81 0.00 0.00 2.84 0.00 0.00 -0.00

time (sec)

N/A 0.494 2.041 0.467 0.000 0.357 0.000 0.000 0.000

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

220 220 163 440 0 532 0 0 -1

N.S.

1 1.00 0.74 2.00 0.00 2.42 0.00 0.00 -0.00

time (sec)

N/A 0.278 0.483 1.286 0.000 0.355 0.000 0.000 0.000

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 64 82 85 186 350 84 121

N.S.

1 1.00 1.19 1.52 1.57 3.44 6.48 1.56 2.24

time (sec)

N/A 0.052 0.083 0.542 0.489 0.394 36.208 0.429 0.823

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.032 6.150 180.000 0.000 0.000 0.000 0.000 0.000

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

551 551 1074 0 0 4491 0 0 -1

N.S.

1 1.00 1.95 0.00 0.00 8.15 0.00 0.00 -0.00

time (sec)

N/A 0.716 6.614 1.805 0.000 0.559 0.000 0.000 0.000

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

407 407 697 0 0 2365 0 0 -1

N.S.

1 1.00 1.71 0.00 0.00 5.81 0.00 0.00 -0.00

time (sec)

N/A 0.600 5.320 1.834 0.000 0.385 0.000 0.000 0.000

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 299 510 0 1078 0 0 -1

N.S.

1 1.00 1.13 1.93 0.00 4.08 0.00 0.00 -0.00

time (sec)

N/A 0.352 1.405 1.613 0.000 0.372 0.000 0.000 0.000

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 74 121 119 331 1748 111 166

N.S.

1 1.00 1.04 1.70 1.68 4.66 24.62 1.56 2.34

time (sec)

N/A 0.092 0.218 0.758 0.470 0.336 142.616 0.440 0.373

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.048 91.988 180.000 0.000 0.000 0.000 0.000 0.000

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

712 712 1948 0 0 9525 0 0 -1

N.S.

1 1.00 2.74 0.00 0.00 13.38 0.00 0.00 -0.00

time (sec)

N/A 0.841 7.789 0.987 0.000 0.447 0.000 0.000 0.000

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

522 522 1589 0 0 4857 0 0 -1

N.S.

1 1.00 3.04 0.00 0.00 9.30 0.00 0.00 -0.00

time (sec)

N/A 0.733 7.459 1.608 0.000 0.430 0.000 0.000 0.000

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

335 335 307 589 0 2068 0 0 -1

N.S.

1 1.00 0.92 1.76 0.00 6.17 0.00 0.00 -0.00

time (sec)

N/A 0.424 1.640 1.593 0.000 0.393 0.000 0.000 0.000

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 101 191 164 601 0 151 212

N.S.

1 1.00 0.94 1.79 1.53 5.62 0.00 1.41 1.98

time (sec)

N/A 0.159 0.252 0.780 0.486 0.382 0.000 0.438 0.438

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.050 178.145 180.000 0.000 0.000 0.000 0.000 0.000

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

605 605 1264 0 0 2509 0 0 -1

N.S.

1 1.00 2.09 0.00 0.00 4.15 0.00 0.00 -0.00

time (sec)

N/A 0.683 3.825 180.000 0.000 0.405 0.000 0.000 0.000

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

433 433 750 0 0 1379 0 0 -1

N.S.

1 1.00 1.73 0.00 0.00 3.18 0.00 0.00 -0.00

time (sec)

N/A 0.561 2.427 180.000 0.000 0.395 0.000 0.000 0.000

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

261 261 306 532 0 691 0 0 -1

N.S.

1 1.00 1.17 2.04 0.00 2.65 0.00 0.00 -0.00

time (sec)

N/A 0.326 1.155 1.585 0.000 0.421 0.000 0.000 0.000

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

64 64 69 63 112 223 0 102 347

N.S.

1 1.00 1.08 0.98 1.75 3.48 0.00 1.59 5.42

time (sec)

N/A 0.064 0.074 1.005 0.474 0.378 0.000 0.451 0.459

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.032 3.767 180.000 0.000 0.000 0.000 0.000 0.000

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

745 745 2152 0 0 11107 0 0 -1

N.S.

1 1.00 2.89 0.00 0.00 14.91 0.00 0.00 -0.00

time (sec)

N/A 0.964 14.154 0.875 0.000 0.516 0.000 0.000 0.000

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

535 535 1011 0 0 5257 0 0 -1

N.S.

1 1.00 1.89 0.00 0.00 9.83 0.00 0.00 -0.00

time (sec)

N/A 0.744 13.138 0.897 0.000 0.446 0.000 0.000 0.000

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

306 306 405 626 0 2027 0 0 -1

N.S.

1 1.00 1.32 2.05 0.00 6.62 0.00 0.00 -0.00

time (sec)

N/A 0.394 3.483 1.568 0.000 0.373 0.000 0.000 0.000

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 100 97 137 479 0 123 360

N.S.

1 1.00 1.25 1.21 1.71 5.99 0.00 1.54 4.50

time (sec)

N/A 0.105 0.536 0.981 0.478 0.370 0.000 0.474 0.393

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.052 77.437 180.000 0.000 0.000 0.000 0.000 0.000

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1053 1053 3202 0 0 32529 0 0 -1

N.S.

1 1.00 3.04 0.00 0.00 30.89 0.00 0.00 -0.00

time (sec)

N/A 1.276 29.933 1.724 0.000 0.761 0.000 0.000 0.000

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

725 725 1775 0 0 14973 0 0 -1

N.S.

1 1.00 2.45 0.00 0.00 20.65 0.00 0.00 -0.00

time (sec)

N/A 0.932 18.872 1.985 0.000 0.540 0.000 0.000 0.000

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B F B F F(-1) F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

420 420 736 861 0 5442 0 0 -1

N.S.

1 1.00 1.75 2.05 0.00 12.96 0.00 0.00 -0.00

time (sec)

N/A 0.519 7.135 1.743 0.000 0.416 0.000 0.000 0.000

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

113 113 145 142 211 1203 0 176 776

N.S.

1 1.00 1.28 1.26 1.87 10.65 0.00 1.56 6.87

time (sec)

N/A 0.273 1.358 1.189 0.477 0.432 0.000 0.427 0.746

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.055 124.508 180.000 0.000 0.000 0.000 0.000 0.000

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 118 647 263 302 0 0 -1

N.S.

1 1.00 0.85 4.65 1.89 2.17 0.00 0.00 -0.01

time (sec)

N/A 0.151 0.060 2.992 0.332 0.351 0.000 0.000 0.000

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

106 106 94 405 166 190 0 0 -1

N.S.

1 1.00 0.89 3.82 1.57 1.79 0.00 0.00 -0.01

time (sec)

N/A 0.128 0.035 1.564 0.330 0.354 0.000 0.000 0.000

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 66 188 0 95 0 0 -1

N.S.

1 1.00 0.90 2.58 0.00 1.30 0.00 0.00 -0.01

time (sec)

N/A 0.081 0.021 1.523 0.000 0.351 0.000 0.000 0.000

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 23 20 23 22 32 19

N.S.

1 1.00 1.00 1.00 0.87 1.00 0.96 1.39 0.83

time (sec)

N/A 0.020 0.014 0.725 0.259 0.340 0.101 0.499 0.239

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 19.991 180.000 0.000 0.000 0.000 0.000 0.000

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.036 26.228 180.000 0.000 0.000 0.000 0.000 0.000

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 106 448 372 260 518 355 269

N.S.

1 1.00 0.98 4.15 3.44 2.41 4.80 3.29 2.49

time (sec)

N/A 0.118 0.360 1.102 0.400 0.358 0.390 0.457 0.716

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

82 82 78 223 270 160 318 208 167

N.S.

1 1.00 0.95 2.72 3.29 1.95 3.88 2.54 2.04

time (sec)

N/A 0.092 0.272 1.096 0.367 0.352 0.297 0.455 0.523

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 57 84 189 79 167 96 87

N.S.

1 1.00 1.02 1.50 3.38 1.41 2.98 1.71 1.55

time (sec)

N/A 0.048 0.382 1.050 0.323 0.377 0.196 0.428 0.385

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 139 70 44 40 78 41 36

N.S.

1 1.00 6.32 3.18 2.00 1.82 3.55 1.86 1.64

time (sec)

N/A 0.030 0.117 1.113 0.273 0.325 0.118 0.446 0.213

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

76 76 62 103 81 84 0 76 -1

N.S.

1 1.00 0.82 1.36 1.07 1.11 0.00 1.00 -0.01

time (sec)

N/A 0.151 0.181 1.625 0.367 0.336 0.000 0.453 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

103 103 85 164 99 141 0 572 -1

N.S.

1 1.00 0.83 1.59 0.96 1.37 0.00 5.55 -0.01

time (sec)

N/A 0.156 0.300 1.521 0.405 0.357 0.000 0.486 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 134 726 0 401 1040 618 449

N.S.

1 1.00 0.58 3.14 0.00 1.74 4.50 2.68 1.94

time (sec)

N/A 0.182 0.712 1.210 0.000 0.337 0.652 0.462 1.284

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

171 171 99 241 0 227 631 338 271

N.S.

1 1.00 0.58 1.41 0.00 1.33 3.69 1.98 1.58

time (sec)

N/A 0.138 0.519 2.633 0.000 0.350 0.464 0.450 0.936

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 60 120 0 96 321 138 144

N.S.

1 1.00 0.61 1.22 0.00 0.98 3.28 1.41 1.47

time (sec)

N/A 0.070 0.730 1.202 0.000 0.335 0.328 0.448 0.537

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 28 30 60 49 133 55 29

N.S.

1 1.00 0.82 0.88 1.76 1.44 3.91 1.62 0.85

time (sec)

N/A 0.032 0.036 0.660 0.261 0.342 0.177 0.450 0.293

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

131 131 112 180 0 135 0 144 -1

N.S.

1 1.00 0.85 1.37 0.00 1.03 0.00 1.10 -0.01

time (sec)

N/A 0.233 0.240 2.430 0.000 0.336 0.000 0.477 0.000

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) A F(-1) B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

180 180 212 299 0 257 0 1080 -1

N.S.

1 1.00 1.18 1.66 0.00 1.43 0.00 6.00 -0.01

time (sec)

N/A 0.268 0.381 2.471 0.000 0.375 0.000 0.548 0.000

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

463 463 866 1152 691 1462 0 0 -1

N.S.

1 1.00 1.87 2.49 1.49 3.16 0.00 0.00 -0.00

time (sec)

N/A 0.345 7.972 3.249 0.443 0.397 0.000 0.000 0.000

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

268 268 599 613 394 827 0 0 -1

N.S.

1 1.00 2.24 2.29 1.47 3.09 0.00 0.00 -0.00

time (sec)

N/A 0.190 7.254 3.211 0.440 0.403 0.000 0.000 0.000

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

161 161 710 268 0 359 0 0 -1

N.S.

1 1.00 4.41 1.66 0.00 2.23 0.00 0.00 -0.01

time (sec)

N/A 0.100 2.212 4.042 0.000 0.400 0.000 0.000 0.000

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 30 75 87 102 0 104 74

N.S.

1 1.00 0.71 1.79 2.07 2.43 0.00 2.48 1.76

time (sec)

N/A 0.040 0.039 1.225 0.259 0.369 0.000 0.440 1.098

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.034 45.475 180.000 0.000 0.000 0.000 0.000 0.000

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

32 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.033 180.006 180.000 0.000 0.000 0.000 0.000 0.000

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B A B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

450 450 1127 1001 749 1424 0 0 -1

N.S.

1 1.00 2.50 2.22 1.66 3.16 0.00 0.00 -0.00

time (sec)

N/A 0.422 10.078 5.179 0.508 0.374 0.000 0.000 0.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

325 325 576 509 0 724 0 0 -1

N.S.

1 1.00 1.77 1.57 0.00 2.23 0.00 0.00 -0.00

time (sec)

N/A 0.271 8.422 3.048 0.000 0.372 0.000 0.000 0.000

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

158 158 194 143 252 203 0 260 205

N.S.

1 1.00 1.23 0.91 1.59 1.28 0.00 1.65 1.30

time (sec)

N/A 0.122 0.751 3.476 0.290 0.372 0.000 0.426 2.483

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

47 47 47 75 104 54 0 59 43

N.S.

1 1.00 1.00 1.60 2.21 1.15 0.00 1.26 0.91

time (sec)

N/A 0.040 0.042 1.337 0.266 0.334 0.000 0.426 0.483

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.052 102.106 180.000 0.000 0.000 0.000 0.000 0.000

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A A A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.051 180.012 180.000 0.000 0.000 0.000 0.000 0.000

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

667 667 2072 2026 0 3847 0 0 -1

N.S.

1 1.00 3.11 3.04 0.00 5.77 0.00 0.00 -0.00

time (sec)

N/A 0.517 11.337 4.164 0.000 0.441 0.000 0.000 0.000

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F F

verified

N/A Yes NO TBD TBD TBD TBD TBD TBD

size

423 423 1396 1044 0 2117 0 0 -1

N.S.

1 1.00 3.30 2.47 0.00 5.00 0.00 0.00 -0.00

time (sec)

N/A 0.294 11.133 4.258 0.000 0.432 0.000 0.000 0.000

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B F(-2) B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

233 233 929 445 0 936 0 0 -1

N.S.

1 1.00 3.99 1.91 0.00 4.02 0.00 0.00 -0.00

time (sec)

N/A 0.143 5.020 4.917 0.000 0.371 0.000 0.000 0.000

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F(-2) B F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 101 141 0 287 0 177 137

N.S.

1 1.00 1.11 1.55 0.00 3.15 0.00 1.95 1.51

time (sec)

N/A 0.063 0.093 1.552 0.000 0.426 0.000 0.430 0.986

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.053 94.549 180.000 0.000 0.000 0.000 0.000 0.000

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F(-1) A F(-2) A A F(-1) A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

34 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.051 180.020 180.000 0.000 0.000 0.000 0.000 0.000

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

356 356 329 0 0 1278 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 3.59 0.00 0.00 -0.00

time (sec)

N/A 0.354 0.111 0.773 0.000 0.440 0.000 0.000 0.000

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

264 264 244 0 0 738 0 0 -1

N.S.

1 1.00 0.92 0.00 0.00 2.80 0.00 0.00 -0.00

time (sec)

N/A 0.311 0.108 0.773 0.000 0.361 0.000 0.000 0.000

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

170 170 157 412 0 401 0 0 -1

N.S.

1 1.00 0.92 2.42 0.00 2.36 0.00 0.00 -0.01

time (sec)

N/A 0.172 0.026 1.526 0.000 0.368 0.000 0.000 0.000

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

18 18 18 19 18 44 41 33 18

N.S.

1 1.00 1.00 1.06 1.00 2.44 2.28 1.83 1.00

time (sec)

N/A 0.020 0.008 0.427 0.275 0.355 0.393 0.423 0.080

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

29 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.032 8.759 180.000 0.000 0.000 0.000 0.000 0.000

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

527 527 1055 0 0 3291 0 0 -1

N.S.

1 1.00 2.00 0.00 0.00 6.24 0.00 0.00 -0.00

time (sec)

N/A 0.664 9.069 2.158 0.000 0.420 0.000 0.000 0.000

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

389 389 723 0 0 1741 0 0 -1

N.S.

1 1.00 1.86 0.00 0.00 4.48 0.00 0.00 -0.00

time (sec)

N/A 0.569 4.718 2.076 0.000 0.405 0.000 0.000 0.000

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

252 252 258 901 0 814 0 0 -1

N.S.

1 1.00 1.02 3.58 0.00 3.23 0.00 0.00 -0.00

time (sec)

N/A 0.328 1.221 3.320 0.000 0.426 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C B A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

68 68 458 129 116 259 503 110 121

N.S.

1 1.00 6.74 1.90 1.71 3.81 7.40 1.62 1.78

time (sec)

N/A 0.089 1.027 1.210 0.479 0.345 86.392 0.448 0.419

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

31 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.048 19.516 180.000 0.000 0.000 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

642 642 2833 0 0 8057 0 0 -1

N.S.

1 1.00 4.41 0.00 0.00 12.55 0.00 0.00 -0.00

time (sec)

N/A 0.562 16.604 1.450 0.000 0.507 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F B F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

477 477 1253 0 0 4069 0 0 -1

N.S.

1 1.00 2.63 0.00 0.00 8.53 0.00 0.00 -0.00

time (sec)

N/A 0.478 12.974 1.565 0.000 0.438 0.000 0.000 0.000